$\forall$$A$:Type, $I$:MaInterface($A$). $I$ $\in$ $i$:Id fp$\rightarrow$ Top